Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 433 | 450 | 1408 | 4604 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.25 | 10.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.005 | 6.559 | 26.957 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 670 | 675 | 1284 | 5533 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.92 | 8.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.448 | 7.007 | 18.241 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 566 | 568 | 1227 | 4259 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.17 | 7.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.785 | 6.899 | 16.061 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 472 | 475 | 1198 | 3310 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.54 | 7.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.181 | 7.023 | 17.602 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 449 | 461 | 1196 | 2380 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.66 | 5.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.167 | 6.577 | 17.902 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 419 | 420 | 1236 | 2468 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.95 | 5.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.671 | 6.539 | 19.027 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 353 | 359 | 1314 | 3550 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 3.72 | 10.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.534 | 6.642 | 23.428 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 433 | 444 | 1407 | 4605 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.25 | 10.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.063 | 6.682 | 27.508 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 522 | 533 | 1515 | 5953 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.90 | 11.40 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.673 | 6.868 | 30.803 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 779 | 786 | 1353 | 7110 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.74 | 9.13 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.335 | 7.572 | 20.893 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 664 | 672 | 1287 | 5791 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.94 | 8.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.527 | 7.496 | 18.363 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 564 | 572 | 1251 | 4802 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.22 | 8.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.934 | 7.475 | 19.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 547 | 555 | 1241 | 4453 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.27 | 8.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.884 | 6.671 | 17.706 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 536 | 547 | 1269 | 4719 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.37 | 8.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.845 | 6.691 | 20.898 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 493 | 499 | 1319 | 4433 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.68 | 8.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.244 | 6.742 | 22.237 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 434 | 445 | 1409 | 4874 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.25 | 11.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.035 | 6.867 | 26.956 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 522 | 533 | 1517 | 5955 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.91 | 11.41 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.656 | 6.994 | 30.972 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 622 | 638 | 1640 | 7347 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.64 | 11.81 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.386 | 7.131 | 37.176 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 418 | 423 | 458 | 3179 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.10 | 7.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.830 | 12.687 | 21.444 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 479 | 480 | 1175 | 2525 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.45 | 5.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.073 | 21.256 | 15.454 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 427 | 436 | 402 | 981 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.94 | 2.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.791 | 7.041 | 11.545 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 228 | 228 | 144 | 181 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.63 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.623 | 2.258 | 14.268 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 230 | 230 | 299 | 771 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.30 | 3.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.704 | 9.684 | 15.736 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 290 | 294 | 416 | 1844 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.43 | 6.36 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.012 | 12.138 | 19.463 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 363 | 375 | 1319 | 3290 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.63 | 9.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.473 | 6.591 | 22.404 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 500 | 527 | 1234 | 3562 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 2.47 | 7.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.432 | 6.832 | 16.509 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 416 | 420 | 1012 | 1819 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 2.43 | 4.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.488 | 16.322 | 12.144 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 284 | 307 | 1223 | 1533 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 4.31 | 5.40 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.014 | 6.666 | 13.703 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 305 | 331 | 1281 | 1978 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 4.20 | 6.49 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.157 | 6.657 | 18.714 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 393 | 412 | 1357 | 3846 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 3.45 | 9.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.764 | 6.775 | 22.205 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 674 | 698 | 1396 | 10417 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 2.07 | 15.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.430 | 7.188 | 18.246 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 545 | 569 | 1342 | 6574 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 2.46 | 12.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.390 | 6.947 | 16.556 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 391 | 410 | 1335 | 4743 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 3.41 | 12.13 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.526 | 6.907 | 14.549 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 429 | 444 | 1384 | 5455 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 3.23 | 12.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.709 | 6.616 | 18.115 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 456 | 477 | 1431 | 6516 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 3.14 | 14.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.975 | 6.758 | 20.066 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 567 | 581 | 1499 | 8901 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.64 | 15.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.621 | 7.056 | 24.345 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 419 | 426 | 225 | 835 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.54 | 1.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.687 | 0.802 | 14.515 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 117 | 117 | 131 | 146 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.12 | 1.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.302 | 0.088 | 11.976 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 110 | 110 | 171 | 112 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.55 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.305 | 0.648 | 12.300 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 226 | 226 | 212 | 659 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 2.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.664 | 1.410 | 17.055 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 0 | 475 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.278 | 0.000 | 11.352 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 70 | 70 | 0 | 462 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.274 | 0.000 | 9.832 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 93 | 93 | 0 | 474 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 5.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.456 | 0.000 | 11.336 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 95 | 95 | 0 | 316 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.33 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.445 | 0.000 | 12.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 0 | 477 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.62 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.280 | 0.000 | 12.358 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 74 | 74 | 0 | 485 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.295 | 0.000 | 11.587 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 98 | 0 | 313 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.469 | 0.000 | 12.997 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 96 | 96 | 0 | 331 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.448 | 0.000 | 12.615 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 33 | 33 | 35 | 33 | 35 | 35 | 32 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 1.00 | 1.06 | 1.06 | 0.97 | 1.06 | 1.06 |
time (sec) |
N/A | 0.260 | 16.143 | 0.866 | 3.954 | 0.302 | 123.044 | 1.010 | 2.727 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 595 | 614 | 319 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.942 | 4.729 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 406 | 408 | 263 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.762 | 1.794 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 287 | 291 | 211 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.069 | 1.084 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 196 | 193 | 162 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 0.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.648 | 0.541 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 286 | 281 | 10482 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 36.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.876 | 30.990 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 54 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.54 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.840 | 79.327 | 0.786 | 2.595 | 0.300 | 147.502 | 16.257 | 4.403 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 35 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.00 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.300 | 28.846 | 0.798 | 2.591 | 0.272 | 7.322 | 0.956 | 2.716 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 35 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.00 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.298 | 34.238 | 0.923 | 2.418 | 0.276 | 3.757 | 0.736 | 4.305 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 63 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.80 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.846 | 32.201 | 0.896 | 2.590 | 0.283 | 9.252 | 1.288 | 6.389 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 166 | 292 | 634 | 0 | 219 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 1.70 | 3.69 | 0.00 | 1.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.857 | 1.726 | 37.108 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 137 | 225 | 399 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.67 | 2.96 | 0.00 | 1.39 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.799 | 1.103 | 34.895 | 0.000 | 0.098 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 106 | 106 | 157 | 242 | 0 | 141 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.48 | 2.28 | 0.00 | 1.33 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.687 | 1.394 | 7.657 | 0.000 | 0.093 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 110 | 113 | 148 | 321 | 0 | 142 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 1.35 | 2.92 | 0.00 | 1.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.709 | 1.498 | 8.608 | 0.000 | 0.091 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 141 | 143 | 148 | 355 | 0 | 169 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.05 | 2.52 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.809 | 1.600 | 10.193 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 170 | 182 | 383 | 0 | 187 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.06 | 2.23 | 0.00 | 1.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.891 | 2.161 | 11.717 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 196 | 299 | 714 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.50 | 3.59 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.128 | 2.555 | 63.487 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 164 | 188 | 513 | 0 | 202 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 1.18 | 3.21 | 0.00 | 1.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.005 | 2.299 | 60.966 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 164 | 152 | 244 | 0 | 166 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.95 | 1.52 | 0.00 | 1.04 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.981 | 2.329 | 9.708 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 166 | 172 | 153 | 357 | 0 | 187 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.92 | 2.15 | 0.00 | 1.13 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.017 | 2.573 | 11.113 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 201 | 202 | 193 | 385 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.96 | 1.92 | 0.00 | 1.05 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.168 | 2.769 | 12.975 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 244 | 246 | 435 | 902 | 0 | 263 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.78 | 3.70 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.518 | 3.523 | 179.701 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 215 | 268 | 916 | 0 | 243 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 1.27 | 4.34 | 0.00 | 1.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.333 | 3.446 | 181.489 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 201 | 202 | 654 | 0 | 215 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.02 | 3.29 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.301 | 2.573 | 187.012 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 215 | 207 | 337 | 0 | 197 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.98 | 1.60 | 0.00 | 0.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.346 | 2.136 | 11.495 | 0.000 | 0.095 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 222 | 194 | 385 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.92 | 1.82 | 0.00 | 1.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.367 | 3.222 | 13.997 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 244 | 250 | 196 | 413 | 0 | 231 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.80 | 1.69 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.593 | 3.131 | 16.787 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 185 | 409 | 466 | 0 | 308 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 2.12 | 2.41 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.981 | 6.693 | 8.747 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 159 | 157 | 400 | 319 | 0 | 250 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 2.52 | 2.01 | 0.00 | 1.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.912 | 4.202 | 4.785 | 0.000 | 0.098 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 129 | 200 | 243 | 0 | 241 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 1.63 | 1.98 | 0.00 | 1.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.763 | 2.072 | 3.641 | 0.000 | 0.091 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 130 | 422 | 244 | 0 | 237 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 3.38 | 1.95 | 0.00 | 1.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.765 | 2.941 | 4.711 | 0.000 | 0.094 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 163 | 159 | 444 | 262 | 0 | 261 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 2.72 | 1.61 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.906 | 4.739 | 5.448 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 187 | 518 | 281 | 0 | 278 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 2.64 | 1.43 | 0.00 | 1.42 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.948 | 3.631 | 5.897 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 303 | 494 | 0 | 367 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.46 | 2.38 | 0.00 | 1.76 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.247 | 2.801 | 5.185 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 161 | 171 | 256 | 350 | 0 | 326 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 1.59 | 2.17 | 0.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.080 | 2.164 | 4.714 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 168 | 175 | 256 | 350 | 0 | 324 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.52 | 2.08 | 0.00 | 1.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.091 | 2.334 | 5.218 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 176 | 182 | 475 | 421 | 0 | 362 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 2.70 | 2.39 | 0.00 | 2.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.107 | 5.476 | 5.667 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 206 | 211 | 525 | 435 | 0 | 376 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 2.55 | 2.11 | 0.00 | 1.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.291 | 6.761 | 6.122 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 261 | 267 | 358 | 685 | 0 | 481 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 1.37 | 2.62 | 0.00 | 1.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.731 | 4.353 | 6.000 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 237 | 793 | 451 | 0 | 476 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 3.57 | 2.03 | 0.00 | 2.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.520 | 7.606 | 5.521 | 0.000 | 0.101 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 216 | 231 | 792 | 451 | 0 | 472 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 3.67 | 2.09 | 0.00 | 2.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.490 | 7.497 | 5.766 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 237 | 793 | 451 | 0 | 474 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 3.57 | 2.03 | 0.00 | 2.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.471 | 7.979 | 6.267 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 228 | 243 | 817 | 451 | 0 | 478 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 3.58 | 1.98 | 0.00 | 2.10 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.522 | 8.447 | 6.152 | 0.000 | 0.117 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 259 | 269 | 589 | 465 | 0 | 489 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 2.27 | 1.80 | 0.00 | 1.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.683 | 5.182 | 6.607 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 235 | 124 | 121 | 659 | 121 | 0 | 0 | 479 |
N.S. |
1 | 1.07 | 0.56 | 0.55 | 3.00 | 0.55 | 0.00 | 0.00 | 2.18 |
time (sec) |
N/A | 1.168 | 0.373 | 9.799 | 0.368 | 0.257 | 0.000 | 0.000 | 6.195 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 175 | 192 | 102 | 101 | 568 | 104 | 0 | 0 | 441 |
N.S. |
1 | 1.10 | 0.58 | 0.58 | 3.25 | 0.59 | 0.00 | 0.00 | 2.52 |
time (sec) |
N/A | 0.939 | 0.299 | 9.616 | 0.374 | 0.255 | 0.000 | 0.000 | 4.824 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 130 | 149 | 78 | 84 | 475 | 86 | 0 | 0 | 196 |
N.S. |
1 | 1.15 | 0.60 | 0.65 | 3.65 | 0.66 | 0.00 | 0.00 | 1.51 |
time (sec) |
N/A | 0.754 | 0.193 | 9.730 | 0.352 | 0.277 | 0.000 | 0.000 | 2.824 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 85 | 106 | 57 | 60 | 380 | 65 | 0 | 0 | 114 |
N.S. |
1 | 1.25 | 0.67 | 0.71 | 4.47 | 0.76 | 0.00 | 0.00 | 1.34 |
time (sec) |
N/A | 0.608 | 0.116 | 9.581 | 0.352 | 0.280 | 0.000 | 0.000 | 1.165 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 96 | 97 | 86 | 120 | 906 | 91 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.90 | 1.25 | 9.44 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.607 | 0.124 | 9.934 | 0.470 | 0.300 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 99 | 103 | 147 | 939 | 97 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.05 | 1.50 | 9.58 | 0.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.585 | 0.148 | 22.685 | 0.485 | 0.298 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 151 | 144 | 120 | 206 | 1851 | 127 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 0.79 | 1.36 | 12.26 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.740 | 0.269 | 20.259 | 0.546 | 0.304 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 187 | 138 | 274 | 2981 | 146 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 0.70 | 1.40 | 15.21 | 0.74 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.973 | 0.467 | 20.121 | 0.677 | 0.307 | 0.000 | 0.000 | 0.000 |